机译:使用软件模型检查来验证MPI Java程序
机译:基于软件可靠性评估工具的软件质量度量和评估-软件可靠性增长模型的应用及其评估-
机译:基于软件可靠性评估工具的软件质量度量和评估-软件可靠性增长模型的应用及其评估-
机译:JavaContexts:一种用于开发高度可重用的软件应用程序的基于Java的编程语言
机译:对培训方法的评估,这些培训方法使软件程序员能够缓解商业银行软件供应商的Web应用程序跨站点脚本(XSS)漏洞
机译:Modelface:使用Modeller软件进行同源性建模研究的应用程序编程接口(API)
机译:使用WaterRpg动态模型为Java应用程序添加水印
机译:维修,评估,维护和康复研究计划。自电位(sp)方法的岩土应用。报告4. sp异常的数值模拟:程序sppC和应用程序的文档。